Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
automatic code - перевод на арабский
TASK TO CONSTRUCT A PROGRAM THAT PROVABLY SATISFIES A GIVEN HIGH-LEVEL FORMAL SPECIFICATION
Automatic program synthesis; Code Synthesis
automatic code
الشفيرة الآلية
automatic data processing
AMERICAN HUMAN RESOURCES MANAGEMENT SOFTWARE COMPANY
Automatic Data Processing Inc.; Automatic Data Processing Incorporated; Automatic Data Proc.; Automatic Data Processing, Incorporated; Automatic Data Processing, Inc.; Adp.com; Automatic Data; ADP, LLC; Automatic Data Processing Inc; ADP (NASDAQ); Automatic Data Processing; ADP (company); ADP Inc.; ADP Corporation
معالجة البيانات أوتوماتيكيا
automatic gain control
![Schematic of an AGC used in the analog telephone network; the feedback from output level to gain is effected via a [[Vactrol]] resistive opto-isolator.](https://commons.wikimedia.org/wiki/Special:FilePath/Vactrol AGC (Yushin).PNG?width=200 "Schematic of an AGC used in the analog telephone network; the feedback from output level to gain is effected via a [[Vactrol]] resistive opto-isolator.")
AN ELECTRONIC CIRCUIT TO AUTOMATICALLY ADJUST SIGNAL STRENGTH
Automatic Gain Control; Automatic Level Control L...; VOGAD; AGC circuit; Automatic volume control; Automatic voltage gain; Vogad; Automatic Voltage Gain; Auto gain control
تحكم الكسب التلقائى
Википедия
Program synthesis
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
